$\forall$$p$:PosetSig, $a$, $b$:$\mid$$p$$\mid$. ($\uparrow$($a$ ($\leq_{b}$) $b$)) = ($a$ $\leq$ $b$) $\in$ $\mathbb{P}$